Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Логика для кросс-мировой предикации: теория доказательства
Authors: Борисов, Евгений Васильевич (философ)
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 79. С. 5-16
Type: статьи в журналах
Date: 2024
Description: В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена таб ... More
Add   Логики для кросс-мировой предикации на основе D, T, S4 и S5
Authors: Мухаметшина, Индира Искандаровна
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 82. С. 55-67
Type: статьи в журналах
Date: 2024
Description: В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, тем ... More
  • «
  • ←
  • 1
  • →
  • »
^